Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

Source URL: www.cs.man.ac.uk

• Software
• Automated theorem proving
• Theoretical computer science
• Formal methods
• TPTP
• Proof assistant
• Frama-C
• Theorem prover
• E theorem prover
• Theorem
• Isabelle

System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Theoretical computer science
• Automated theorem proving
• Mathematics
• Proof theory
• Logic in computer science
• Formal methods
• Automated reasoning
• Proof assistant
• Proof complexity
• Reasoning system
• Isabelle

Understanding Resolution Proofs through Herbrand’s Theorem‹ Stefan Hetzl1 , Tomer Libal2 , Martin Riener3 , and Mikheil Rukhaia4 1 Institute of Discrete Mathematics and Geometry, Vienna University of Technology

Source URL: www.logic.at

• Mathematical logic
• Proof theory
• Logic
• Mathematics
• Natural deduction
• Sequent calculus
• Sequent
• First-order logic
• Admissible rule
• Conjunctive normal form
• Quantifier
• Cut-elimination theorem

The Potential of Interference-Based Proof Systems Marijn J.H. Heule and Benjamin Kiesl The University of Texas at Austin and Vienna University of Technology ARCADE in Gothenburg, Sweden

Source URL: www.cs.utexas.edu

• Mathematical logic
• Mathematics
• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Methods of proof
• Boolean algebra
• Mathematical proofs
• Proof complexity
• Boolean satisfiability problem

15. Quark modelQuark Model Revised August 2017 by C. Amsler (Stefan Meyer Institute for Subatomic Physics, Vienna), T. DeGrand (University of Colorado, Boulder), and B. Krusche (University of Basel).

Source URL: pdg.lbl.gov

Poster for SAT/SMT Summer SchoolModeling High School Timetabling (HSTT) as maxSAT/SMT Vienna University of Technology Institute of Information Systems Database and Artificial Intelligence Group

Source URL: satsmt2014.forsyte.at

International Young Physicists’ Tournament IYPT Georg Hofferek Association AYPT-Forschungsforum junger Physiker p.A. University of Vienna, Faculty of Physics, Physics

Source URL: iypt.org

Failure Modes of Tearing and a Novel Robust Approach Ali Baharev Arnold Neumaier Hermann Schichl Faculty of Mathematics, University of Vienna, Oskar-Morgenstern-Platz 1, 1090 Vienna, Austria

Source URL: reliablecomputing.eu

JCCS-a * Information & Software Engineering Group Institute of Software Technology and Interactive Systems Vienna University of Technology Favoritenstrasse 9–11/188,

Source URL: www.jccs-a.at

Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa

Source URL: www.preining.info